📋 Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·17h·
Discuss: Hacker News
⚡Proof Automation
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·6h·
Discuss: Hacker News
📼Tape Combinators
Scaling Expert Oversight of AI: HackerOne's Human-in-the-Loop Methodology
hackerone.com·1d
⚡Proof Automation
The folk theorem of statistical computing: Fake-data simulation as posterior predictive checking
statmodeling.stat.columbia.edu·19h
🧮Kolmogorov Bounds
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
HigherOrderCO/HVM3
github.com·7h
🔗Functional Compilers
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·1d
🛡️CLI Security
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·1d
✅Formal Methods
Software convergence
underlap.org·1d
🔢Denotational Semantics
Modelling Exactly-Once Delivery Using TLA+
medium.com·5d·
Discuss: Hacker News
⚙️TLA+
Building a Regex Engine
abstractsyntaxseed.com·2d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·1d·
Discuss: Hacker News
🗄️Database Internals
Announcing Blackacre Labs
writing.kemitchell.com·4h
📡RSS Automation
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
⚡Proof Automation
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Tree of AST: A Bug-Hunting Framework Powered by LLMs
darkreading.com·1d
⚡Proof Automation